#ifndef __BASIC_TYPES__POSIX__TYPES_H__
#define __BASIC_TYPES__POSIX__TYPES_H__

#ifdef CONFIG_OS_ERCOS
#include <basic_types/stdint/types.h>




//typedef unsigned char		    uint8_t;
//typedef unsigned short int	    uint16_t;
//typedef	unsigned int	    	uint32_t;
//typedef	unsigned long long int	uint64_t;
//typedef char		    int8_t;
//typedef short int	    int16_t;
//typedef	int	    		int32_t;
//typedef	long long int	int64_t;

#else
#include <stdint.h>
#endif


#define BOOL		unsigned int
typedef unsigned int 	bool_t;
////\TODO check if this types are defined in RTEMS...
typedef unsigned char	byte_t;
typedef unsigned short int	word16_t;
typedef unsigned int	word32_t;
typedef unsigned long long int	word64_t;

#ifndef TRUE
#define	TRUE		1
#endif
#ifndef FALSE
#define FALSE		0
#endif
#ifndef NULL
#define	NULL		0
#endif

/* TODO: This should be in arch/types */
#define BITS_PER_LONG 32

#endif // __BASIC_TYPES__POSIX__TYPES_H__
